/**
* @author TDSoft
*
* La clase TipoUsuario incluye una enumeración para distinguir los tipos de usuarios del sistema
*
* @see GestorUsuario, Usuario
*/

package edu.uoc.tds.pec4.model;

public enum TipoUsuario {        
    ADMINISTRADOR(1), RESPONSABLE_PRUEBA(2), ESTUDIANTE(3);

    //Identificador del tipo de usuario
    private int id_tipo_usuario;

    /**
     * Constructor con parámetros del Tipo Usuario.
     * Crea un Tipo de usuario con un identificador en concreto.
     * {pre: id_tipo_usuario es un entero comprendido entre 1 y 3
     * {post: crea un Tipo de usuario enumerado con un identificador asociado}
     * @param id_tipo_usuario representa el identificador para el tipo de usuario correspondiente
     */
    TipoUsuario (int id_tipo_usuario)
    {  
    this.id_tipo_usuario = id_tipo_usuario;
    }

    /**
     * Accesor de lectura del identificador que corresponde al tipo de usuario 
     * {pre: x es un tipo de usuario enumerado)
     * {post: devuelve el identificador que corresponde al tipo de usuario}
     */
    public int getIdTipoUsuario(){
        return this.id_tipo_usuario;
    }
}